Focusing on focus: a formalization
نویسنده
چکیده
We present an operable definition of focus which is argued to be of a cognito-pragmatic nature and explore how it is determined in discourse in a formalized manner. For this purpose, a file card model of discourse model and knowledge store is introduced enabling the decomposition and formal representation of its determination process as a programmable algorithm (FDA). Interdisciplinary evidence from social and cognitive psychology is cited and the prospect of the integration of focus via FDA as a discourse-level construct into speech synthesis systems, in particular, concept-tospeech systems, is also briefly discussed.
منابع مشابه
A Constructive Formalization of the Fundamental Theorem of Calculus
We have finished a constructive formalization in the theorem prover Coq of the Fundamental Theorem of Calculus, which states that differentiation and integration are inverse processes. In this formalization, we have closely followed Bishop’s work ([4]). In this paper, we describe the formalization in some detail, focusing on how some of Bishop’s original proofs had to be refined, adapted or red...
متن کاملA Mathematical Method for Managing the System Constraint
The goal of theory of constraints (TOC) is to maximize output, which is achieved byidentifying and managing the critically constrained resources. To manage the constraints, Goldrattproposed five focusing steps (5FS). If we increase constrained output, the output of system will beincreased. In this paper, we focus on step four of the 5FS and use the remained capacity of nonconstraintto elevate t...
متن کاملThe progress mechanism of track geometrical irregularity focusing on hanging sleepers
This topic is very traditional and basically has been concerned for a long time. A lot of sophisticated vehicle/track interaction model and track dynamic deterioration model have been developed so far. The author also developed a track settlement progress model comprising a vehicle/track interaction model and a track settlement law. Hanging sleepers are usually caused more or less by the dyn...
متن کاملThe effects of trade sanctions on Iran;s economic Using the Computable General Equilibrium: Focusing on Production and prices
The main objective of this study is to assess the economic impacts of sanctions against Iran. This analysis was performed using the computable general equilibrium (CGE) model with a focus on exports, imports, production, and price levels. After calibrating the CGE model and measuring the values of exogenous parameters and variables, the study assessed the economic impacts of sanctions on Iran’s...
متن کاملThe Role of Organizational Culture in Adopting Total Quality Management (Case Study: The Salt Complex, El Outaya, Biskra State)
This study aimed at exploring how the organizational culture can contribute in adopting Total Quality Management (TQM) in the organization. A case study was conducted at the Salt complex in El Outaya, Biskra State and the questionnaire was used to collect data. The study found that the organizational culture (organizational values, organizational behavior and the artifacts) contributes in adopt...
متن کامل